show that equation are consistent